$\forall$$T$:Type, ${\it eq}$:EqDecider($T$), ${\it as}$,${\it bs}$:($T$ List). list{-}diff(${\it eq}$; ${\it as}$; ${\it bs}$) $\in$ ($T$ List)